package Utils;

import midend.IR_Instruction.Instruction;
import midend.IR_Value.IR_BaseBlock;

import java.util.HashSet;
import java.util.Set;
// 循环信息类
public class Loop {
    public IR_BaseBlock header;           // 循环头
    public Set<IR_BaseBlock> body;        // 循环体
    public Set<IR_BaseBlock> exits;       // 循环出口
    public IR_BaseBlock preHeader;        // 预头部
    public Set<Instruction> invariants;   // 不变式指令

    public Loop(IR_BaseBlock header) {
        this.header = header;
        this.body = new HashSet<>();
        this.exits = new HashSet<>();
        this.invariants = new HashSet<>();
    }
}
